50,951 research outputs found

    On finite complete rewriting systems and large subsemigroups

    Get PDF
    Let SS be a semigroup and TT be a subsemigroup of finite index in SS (that is, the set S∖TS\setminus T is finite). The subsemigroup TT is also called a large subsemigroup of SS. It is well known that if TT has a finite complete rewriting system then so does SS. In this paper, we will prove the converse, that is, if SS has a finite complete rewriting system then so does TT. Our proof is purely combinatorial and also constructive.Comment: We have made major changes to the paper and simplified most of the proof

    Closed-loop structural stability for linear-quadratic optimal system

    Get PDF
    This paper contains an explicit parameterization of a subclass of linear constant gain feedback maps that will not destabilize an originally open-loop stable system. These results can then be used to obtain several new structural stability results for multi-input linear-quadratic feedback optimal designs

    Non-Langevin behaviour of the uncompensated magnetisation in nanoparticles of artificial ferritin

    Full text link
    The magnetic behaviour of nanoparticles of antiferromagnetic ferritin has been investigated by 57Fe Mossbauer absorption spectroscopy and magnetisation measurements, in the temperature range 2.5K-250K and with magnetic fields up to 7T. Samples containing nanoparticles with an average number of Fe atoms ranging from 400 to 2500 were studied. The value of the anisotropy energy per unit volume was determined and found to be in the range 3-6 10**5 ergs/cm3, which is a value typical for ferric oxides. By comparing the results of the two experimental methods at large field, we show that, contratry to what is currently assumed, the uncompensated magnetisation of the feritin cores in the superparamagnetic regime does not follow a Langevin law. For magnetic fields below the spin-flop field, we propose an approximate law for the field and temperature variation of the uncompensated magnetisation which has so far never been applied in antiferromagnetic systems. This approach should more generally hold for randomly oriented antiferro- magnetic nanoparticles systems with weak uncompensated moments.Comment: 11 pages, 11 figure

    A Probabilistic Linear Genetic Programming with Stochastic Context-Free Grammar for solving Symbolic Regression problems

    Full text link
    Traditional Linear Genetic Programming (LGP) algorithms are based only on the selection mechanism to guide the search. Genetic operators combine or mutate random portions of the individuals, without knowing if the result will lead to a fitter individual. Probabilistic Model Building Genetic Programming (PMB-GP) methods were proposed to overcome this issue through a probability model that captures the structure of the fit individuals and use it to sample new individuals. This work proposes the use of LGP with a Stochastic Context-Free Grammar (SCFG), that has a probability distribution that is updated according to selected individuals. We proposed a method for adapting the grammar into the linear representation of LGP. Tests performed with the proposed probabilistic method, and with two hybrid approaches, on several symbolic regression benchmark problems show that the results are statistically better than the obtained by the traditional LGP.Comment: Genetic and Evolutionary Computation Conference (GECCO) 2017, Berlin, German

    K Means Segmentation of Alzheimers Disease in PET scan datasets: An implementation

    Full text link
    The Positron Emission Tomography (PET) scan image requires expertise in the segmentation where clustering algorithm plays an important role in the automation process. The algorithm optimization is concluded based on the performance, quality and number of clusters extracted. This paper is proposed to study the commonly used K Means clustering algorithm and to discuss a brief list of toolboxes for reproducing and extending works presented in medical image analysis. This work is compiled using AForge .NET framework in windows environment and MATrix LABoratory (MATLAB 7.0.1)Comment: International Joint Conference on Advances in Signal Processing and Information Technology, SPIT201
    • …
    corecore